@String{ieee = {{IEEE}}}
@string{jan = "January"}
@string{feb = "February"}
@string{mar = "March"}
@string{apr = "April"}
@string{may = "May"}
@string{jun = "June"}
@string{jul
="July"}
@string{aug = "August"}
@string{sep = "September"}
@string{oct =
"October"}
@string{nov = "November"}
@string{dec = "December"}



@manual{Ada05,
  key="Ada05",
  organization = "ISO SC22/WG9",
  title="{A}da Reference Manual. Language and Standard Libraries.
                  Consolidated Standard {ISO/IEC 8652:1995(E)} with
                  Technical Corrigendum 1 and Amendment 1 (Draft 15)",
  year=2005,
  note="Available on
                  \url{http://www.adaic.com/standards/rm-amend/html/RM-TTL.html}"
}

@manual{HIS05,
  organization = "ISO/IEC",
  title = " TR~24718:2005 --- Guide for the use of the {A}da
                  {R}avenscar {P}rofile in high integrity systems",
  year = 2005,
  note = "Based on the University of York Technical Report YCS-2003-348
                  (2003)."
  }

@techreport{enst06ocarina,
  Author = {T. Vergnaud and B. Zalila and J. Hugues},
  Institution = {T{\'e}l{\'e}com Paris},
  url = {http://ocarina.enst.fr},
  Title = {{Ocarina: a Compiler for the AADL}},
  Year = {2006}
}

@book{SAE2004Architecture-An,
	Author = {SAE},
	Month = {sep},
	Note = {available at \url{http://www.sae.org}},
	Publisher = {SAE},
	Title = {{Architecture} {Analysis} \& {Design} {Language} ({AS5506})},
	Year = {2004}
}

@book{SAE2009Architecture-An,
	Author = {SAE},
	Month = {jan},
	Note = {available at \url{http://www.sae.org}},
	Publisher = {SAE},
	Title = {{Architecture} {Analysis} \& {Design} {Language v2} ({AS5506A})},
	Year = {2009}
}

@book{SAE2009data,
	Author = {SAE},
	Month = {nov},
	Note = {available at \url{http://www.sae.org}},
	Publisher = {SAE},
	Title = {{Data} {Modeling} {Annex} for the {Architecture}
                  {Analysis} \& {Design} {Language} v2 ({AS5506A})},
	Year = {2009}
}

@book{SAE2009prog,
	Author = {SAE},
	Month = {nov},
	Note = {available at \url{http://www.sae.org}},
	Publisher = {SAE},
	Title = {{Programming} {Language} {Annex} for the
                  {Architecture} {Analysis} \& {Design} {Language} v2
                  ({AS5506A})},
	Year = {2009}
}

